package abaco.symbol.variable.set;

import abaco.Symbol;
import abaco.gui.Panel;
import abaco.symbol.Variable;

public class NotForAll extends Variable {
	@Override
	public Symbol buildPanel(Panel panel) {
		return this;
	}

	@Override
	public String toLatex() {
		StringBuilder latex = new StringBuilder();
		latex.append("{\\not\\forall");
		latex.append(toLatex(VALUE));
		latex.append("}");
		return latex.toString();
	}
}
